Check also Technical Report A2 for documentation of NON-STANDART Types in this project